A safety margin and flight reference system and display for powered-lift aircraft

A study was conducted to explore the feasibility of a safety margin and flight reference system for those powered-lift aircraft which require a backside piloting technique. The main objective was to display multiple safety margin criteria as a single variable which could be tracked both manually and automatically and which could be monitored in order to derive safety margin status. The study involved a pilot-in-the-loop analysis of several system concepts and a simulator experiment to evaluate those concepts showing promise. A system was ultimately configured which yielded reasonable compromises in controllability, status information content, and the ability to regulate safety margins at some expense of the allowable low speed flight path envelope

Perfect discrimination of no-signalling channels via quantum superposition of causal structures

A no-signalling channel transforming quantum systems in Alice's and Bob's laboratories is compatible with two different causal structures: (A < B) Alice's output causally precedes Bob's input and (B< A) Bob's output causally precedes Alice's input. I show that a quantum superposition of circuits operating within these two causal structures enables the perfect discrimination between no-signalling channels that can not be perfectly distinguished by any ordinary circuit.Comment: 5 + 5 pages, published versio

An overview of the demonstration advanced avionics system guest pilot evaluation conducted at Ames Research Center

The guest pilot flight evaluation of the Demonstration Advanced Avionics System (DAAS) is discussed. The results are based on the fifty-nine questionnaires that were completed by the participants. The primary purpose of the pilot evaluation was to expose the Demonstration Advanced Avionics System to the various segments of the general aviation community and solicit comments in order to determine the effectiveness of integrated avionics for general aviation. Segments of the community that were represented in the evaluation are listed. A total of sixty-four (64) flights were conducted in which one hundred and seventeen (117) pilots and observers participated. It was felt that the exposure each subject had with the DAAS was too short to adequately assess the training requirements, pilot workload, and the reconfiguration concept of the DAAS. It is recommended that an operational evaluation of the DAAS be made to assess: the training requirements or varying experience levels, the pilot workload in the ATC environment with unplanned route changes, and the viability of the reconfiguration concept for failures

A summary of joint US-Canadian augmentor wing powered-lift STOL research programs at the Ames Research Center, NASA, 1975-1980

Several different flight research programs carried out by NASA and the Canadian Government using the Augmentor Wing Jet STOL Research Aircraft to investigate the design, operational, and systems requirements for powered-lift STOL aircraft are summarized. Some of these programs considered handling qualities and certification criteria for this class of aircraft, and addressed pilot control techniques, control system design, and improved cockpit displays for the powered-lift STOL approach configuration. Other programs involved exploiting the potential of STOL aircraft for constrained terminal-area approaches within the context of present or future air traffic control environments. Both manual and automatic flight control investigations are discussed, and an extensive bibliography of the flight programs is included

Flight investigation of a four-dimensional terminal area guidance system for STOL aircraft

A series of flight tests and fast-time simulations were conducted, using the augmentor wing jet STOL research aircraft and the STOLAND 4D-RNAV system to add to the growing data base of 4D-RNAV system performance capabilities. To obtain statistically meaningful data a limited amount of flight data were supplemented by a statistically significant amount of data obtained from fast-time simulation. The results of these tests are reported. Included are comparisons of the 4D-RNAV estimated winds with actual winds encountered in flight, as well as data on along-track navigation and guidance errors, and time-of-arrival errors at the final approach waypoint. In addition, a slight improvement of the STOLAND 4D-RNAV system is proposed and demonstrated, using the fast-time simulation

Prime numbers, quantum field theory and the Goldbach conjecture

Motivated by the Goldbach conjecture in Number Theory and the abelian bosonization mechanism on a cylindrical two-dimensional spacetime we study the reconstruction of a real scalar field as a product of two real fermion (so-called \textit{prime}) fields whose Fourier expansion exclusively contains prime modes. We undertake the canonical quantization of such prime fields and construct the corresponding Fock space by introducing creation operators $b_{p}^{\dag}$ --labeled by prime numbers $p$-- acting on the vacuum. The analysis of our model, based on the standard rules of quantum field theory and the assumption of the Riemann hypothesis, allow us to prove that the theory is not renormalizable. We also comment on the potential consequences of this result concerning the validity or breakdown of the Goldbach conjecture for large integer numbers.Comment: 20 pages in A4 format, 2 figure

Flight experience with advanced controls and displays during piloted curved decelerating approaches in a powered-lift STOL aircraft

The control, display, and procedural features are described for a flight experiment conducted to assess the feasibility of piloted STOL approaches along predefined, steep, curved, and decelerating approach profiles. It was found to be particularly important to assist the pilot through use of the flight director computing capability with the lower frequency control-related tasks, such as those associated with monitoring and adjusting configuration trim as influenced by atmospheric effects, and preventing the system from exceeding powerplant and SAS authority limitations. Many of the technical and pilot related issues identified in the course of this flight investigation are representative of similarly demanding operational tasks that are thought to be possible only through the use of sophisticated control and display systems

Software modifications to the Demonstration Advanced Avionics Systems (DAAS)

Critical information required for the design of integrated avionics suitable for generation aviation is applied towards software modifications for the Demonstration Advanced Avionics System (DAAS). The program emphasizes the use of data busing, distributed microprocessors, shared electronic displays and data entry devices, and improved functional capability. A demonstration advanced avionics system (DAAS) is designed, built, and flight tested in a Cessna 402, twin engine, general aviation aircraft. Software modifications are made to DAAS at Ames concurrent with the flight test program. The changes are the result of the experience obtained with the system at Ames, and the comments of the pilots who evaluated the system

An Intuitionistic Formula Hierarchy Based on High-School Identities

We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal) propositional sequent calculi are formula (i.e. sequent) isomorphisms corresponding to the high-school identities, we show that one can obtain a more compact variant of a proof system, consisting of non-invertible proof rules only, and where the invertible proof rules have been replaced by a formula normalisation procedure. Moreover, for certain proof systems such as the G4ip sequent calculus of Vorob'ev, Hudelmaier, and Dyckhoff, it is even possible to see all of the non-invertible proof rules as strict inequalities between exponential polynomials; a careful combinatorial treatment is given in order to establish this fact. Finally, we extend the exponential polynomial analogy to the first-order quantifiers, showing that it gives rise to an intuitionistic hierarchy of formulas, resembling the classical arithmetical hierarchy, and the first one that classifies formulas while preserving isomorphism